An Alternative Axiomatization of DEL and Its Applications
نویسندگان
چکیده
In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in [Wang and Cao, 2013]. This axiomatization does not use any of the standard reduction axioms, but naturally captures the essence of the update product. We demonstrate the use of our new axiomatization and the corresponding proof techniques by three sets of results: characterization theorems of the update operations, representation theorems of the DEL-generatable epistemic temporal structures given a fixed event model, and a complete axiomatization of DEL on models with protocols.
منابع مشابه
Characterization and axiomatization of all semigroups whose square is group
In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup). Finally, several equivalent conditions ...
متن کاملSimple axiomatization of reticulations on residuated lattices
We give a simple and independent axiomatization of reticulations on residuated lattices, which were axiomatized by five conditions in [C. Mureşan, The reticulation of a residuated lattice, Bull. Math. Soc. Sci. Math. Roumanie 51 (2008), no. 1, 47--65]. Moreover, we show that reticulations can be considered as lattice homomorphisms between residuated lattices and b...
متن کاملPigment epithelium-derived factor: clinical significance in estrogen-dependent tissues and its potential in cancer therapy
Pigment epithelium-derived factor (PEDF) is a glycoprotein that belongs to the family of non-inhibitory serpins. The broad spectrum of PEDF biological activity is evident when considering its effects in promoting cell survival and proliferation, as well as its antiangiogenic, antitumor, and anti-metastatic properties. Although the structural domains of the PEDF gene that mediate such diverse ef...
متن کاملExp-Kumaraswamy Distributions: Some Properties and Applications
In this paper, we propose and study exp-kumaraswamy distribution. Some of its properties are derived, including the density function, hazard rate function, quantile function, moments, skewness and kurtosis. Adata set isused to illustrate an application of the proposed distribution. Also, we obtain a new distribution by transformation onexp-kumaraswamy distribution. New distribution is an...
متن کاملFuzzy completion time for alternative stochastic networks
In this paper a network comprising alternative branching nodes with probabilistic outcomes is considered. In other words, network nodes are probabilistic with exclusive-or receiver and exclusive-or emitter. First, an analytical approach is proposed to simplify the structure of network. Then, it is assumed that the duration of activities is positive trapezoidal fuzzy number (TFN). This paper com...
متن کامل